SCRIPT[2]

A real-time language.

"A Communication Abstraction Mechanism and its Verification", N. Francez et al, Sci Computer Programming 6(1):35-88 (1986).